#include <stdio.h>
#include <platform/platform.h>

int main(int argc, char *argv[])
{
    printf("Hello, Gato!\n");

    if (gato_init_platform() < 0) {
        return -1;
    }
    
    while (1)
    {
        /* code */
    }
    

    return 0;
}